نظریه های عمومی در منطق مرتبه اول شهودی
thesis
- وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان
- author مریم عبیری
- adviser مصطفی زارع خورمیزی بهزاد صالحیان
- Number of pages: First 15 pages
- publication year 1390
abstract
در این پایان نامه نظریه مدل های کریپکی منطق مرتبه اول شهودی را مطالعه می کنیم.دو مفهوم زیرمدل و جملات عمومی را تعریف می کنیم.مفهوم زیرمدل را برای مدلهای کریپکی به صورتهای مختلفی می توان تعریف کرد. می توان قاب یا جهان ساختار یا هر دورا تحدید کرد.در اینجا تعریف سوم از زیرمدل را در نظر می گیریم.یک زیرمدل کریپکی از تحدید مدل کریپکی اصلی به یک زیررسته از دامنه اش بدست می آید به طوری که هر راس از این زیررسته به یک زیرمدل کلاسیک از مدل کلاسیک نظیر ان در مدل کریپکی اصلی نگاشته شود.جملات عمومی جملاتی هستند که به صورت استقرایی از اتمها ساخته می شوند تحت روابط عطف و فصل و سور عمومی و رابط شرطی بطوریکه هر زیرفرمول شرطی در آنها دارای مقدم اتمی باشد.در این پایان نامه تعبیر محمول تساوی تساوی واقعی است و از هر جهان به جهان بالاتر یک همریختی وجود دارد.تعبیر محمول تساوی می تواند رابطه هم ارزی و از یک جهان به جهان بالاتر زیر ساختار ضعیف باشد. از این رو چهار کلاس از مدلهای کریپکی وجود دارند که در این پایان نامه با هم مقایسه می شوند.
similar resources
مبانی فلسفی منطق شهودی
منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه شهودگرایی براوئر (Brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می‌دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه‌ای برساخته از روندهای ساخت هویات و براهین ریاضی می‌داند. در مقاله حاضر، به تبیین مبانی نظری م...
full textحساب مرتبه اول پئانو و زیرنظریه های آن همراه با چند مساله مرتبط در نظریه پیچیدگی
در این مقاله، مروری بر نظریه های مرتبه اول حساب خواهیم داشت. همچنین اشاره خواهیم کرد که زیرنظریه های ضعیف حساب، ارتباط های اساسی با نظریه پیچیدگی دارند. در انتها، اشاره ای به نظریه های مرتبه اول شهودی حساب خواهیم کرد.
full textتحلیل دلالت شناسانه‌ی منطق شهودی I
از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیI، در سال 1965، تمام آنچه پیش از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدلهای بث تحت سایه‌ی تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این...
full textمنطق وجهی کلاسیک مرتبه اول
در این پایان نامه سیستم های کلاسیک مرتبه اول با استفاده از مدل های همسایگی مرتبه اول بررسی خواهند شد. در این مدل ها قالب های اصل موضوعی بارکان و عکس آن بر خلاف مدل های کریپکی همیشه معتبر نیستند. در فصل یک ابتدا منطق وجهی گزاره ای و معناشناسی همسایگی را به عنوان مطالب مقدماتی بررسی کرده و تعدادی از قضایای پایه ای در این زمینه را بیان می کنیم. در فصل دو معناشناسی کریپکی برای منطق وجهی مرتبه او...
15 صفحه اولمبانی فلسفی منطق شهودی
منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه شهودگرایی براوئر (brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه ای برساخته از روندهای ساخت هویات و براهین ریاضی می داند. در مقاله حاضر، به تبیین مبانی نظری منطق ش...
full textMy Resources
document type: thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه علوم پایه دامغان
Keywords
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023